#include<stdio.h>
int main()
{
int n,m;
scanf("%d%d",&n,&m);
int sum=0,i=0;
while(i<m)
{
  if(n<0)
{
  n*=-1;
}
  if(n%13==0||(n%17==0&&n%13!=0))
{
  sum+=n;
  i++;
}
n--;
}
printf("%d",sum);
return 0;
}
  
